Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
Would you like to stay for dinner?
可以留下来吃饭吗？
It's no sin to sell dear, but a sin to give ill measure.
高价卖不为过，短斤少两才有罪。
said Jim. Somebody or something took it. We won't go until we get it back again!
吉姆说，“什么人或者什么东西把它拿走了。不把它找回来我们就不走！”